Complex Behavior Speciication for Autonomous Systems
نویسنده
چکیده
The paper focuses on one of the problems of design of an autonomous reactive system, namely, speciication of its behavior with respect to (often unpredictable) changes occurring in the real world. Several \behavior-oriented" languages are brieey presented, and some formal relationships between two of them | Process Transition Networks and Statecharts | are given. The goal of this presentation is to address the need for augmenting the \behavior-based design" paradigm with theoretical tools both adequate for expressing complex behaviors of autonomous reactive systems pursuing high-level goals, and applicable to both analysis and synthesis tasks for such systems.
منابع مشابه
Visual Language for Behavioral Specifications of Reactive Systems
Complex reactive systems require specifying the relationship of inputs and outputs in the time domain. Typically, such descriptions involve complex sequences of events, often with explicit timing constraints, that combine to form the system's overall behavior. In addition, most reactive systems are highly concurrent and hierarchical. Investigating formal methods for behavior speciication of rea...
متن کاملAre Autonomous Mobile Robots Able to Take Over Construction? A Review
Although construction has been known as a highly complex application field for autonomous robotic systems, recent advances in this field offer great hope for using robotic capabilities to develop automated construction. Today, space research agencies seek to build infrastructures without human intervention, and construction companies look to robots with the potential to improve construction qua...
متن کاملReplicable Gmbs: a Tool for the Speciication of Collaborative Systems Replicable Gmbs: a Tool for the Speciication of Collaborative Systems
Collaborative systems' speciications are complex, due to dynamically changing application structure (as users join and leave the session), concurrency, and interaction in multiuser interfaces. There are few speciication development methods to support these issues. We propose a method and high-level formal languages to specify reconngurable structure and behavior for collaborative systems. The m...
متن کاملAggregation in a Behavior Oriented
T ROLL is a language to specify information systems with dynamic behavior. Here, we elaborate on the speciication of object aggregation in T ROLL. We distinguish between two kinds of aggregation, static and dynamic aggregation. Static aggregation means that the composition of objects is described using predicates over constant properties. Dynamic aggregation means that we may alter the composit...
متن کاملReplicable Gmbs: a Tool for the Speciication of Collaborative Systems
Collaborative systems' speciications are complex, due to dynamically changing application structure (as users join and leave the session), concurrency, and interaction in multiuser interfaces. There are few speciication development methods to support these issues. We propose a method and high-level formal languages to specify reconngurable structure and behavior for collaborative systems. The m...
متن کامل